University Halle - Wittenberg Institute of Computer Science 22 nd Workshop on ( Constraint ) Logic Programming
نویسندگان
چکیده
The rule-based programming language Constraint Handling Rules (CHR) has been introduced to ease the development and implementation of constraint solvers. Currently, several CHR libraries exist in languages such as Prolog, Haskell and Java. The K.U.Leuven JCHR system is a high-performance integration of Constraint Handling Rules (CHR) and Java. JCHR is currently by far the most efficient implementation of CHR in Java. Its performance is competitive with state-of-theart CHR systems in e.g. HAL and Prolog. To ease the duty of a CHR programmer, we introduce in this paper an integrated development environment (IDE) for the K.U.Leuven JCHR. The IDE is implemented as a plug-in in Eclipse.
منابع مشابه
Wlp 2008
Die Gesellschaft für Logische Programmierung e.V. [1], die deutschsprachige Abteilung (für Deutschland, Österreich und die Schweiz) der Association of Logic Programming [2], organisiert seit vielen Jahren den Workshop on (Constraint) Logic Programming (WLP). Auf dem alljährlich stattfindenden WLP treffen sich Wissenschaftler aus den Gebieten der logischen Programmierung, der Constraint-Programm...
متن کاملExtinction rate has a complex and non-linear relationship with area
5 Author affiliations: 6 1. German Centre for Integrative Biodiversity Research (iDiv), Halle-Jena-Leipzig, Deutscher 7 Platz 5e, 04103 Leipzig, Germany 8 2. Institute of Biology, Leipzig University, Johannisallee 21, 04103 Leipzig, Germany 9 3. Ecosystem Modeling, Center for Computational and Theoretical Biology (CCTB), University 10 of Würzburg, Germany 11 4. Institute of Biology, Martin Luth...
متن کاملThe IQD Family of Calmodulin-Binding Proteins Links Calcium Signaling to Microtubules, Membrane Subdomains, and the Nucleus1[OPEN]
Department of Molecular Signal Processing, Leibniz Institute of Plant Biochemistry, 06120 Halle (Saale), Germany (K.B., R.P., G.S., D.M., S.A.); Institute of Computer Science (B.M.), Biocenter (G.H.), and Institute of Biochemistry and Biotechnology (S.A.), Martin Luther University Halle-Wittenberg, 06120 Halle (Saale), Germany; and Department of Plant Sciences, University of California, Davis, ...
متن کاملWiring diagrams in biology: towards the standardized representation of biological information.
1 Leibniz Institute of Plant Genetics and Crop Plant Research Gatersleben (IPK), Corrensstrasse 3, D-06466 Gatersleben, Germany 2 Institute of Cell Biophysics RAS, Institutskaya str. 4, Pushcino, Moscow region, 142290, Russia 3 Institute of Computer Science, Martin Luther University Halle-Wittenberg, Von-Seckendorff-Platz 1, D-06120 Halle, Germany 4 Division of Pathway Medicine, University of E...
متن کاملMetals in Medicine
1 Institut für Chemie, Martin-Luther-Universität Halle-Wittenberg, Kurt-Mothes-Straße 2, 06120 Halle, Germany 2Departamento de Quı́mica Inorgánicay Anaĺıtica, ESCET, Universidad Rey Juan Carlos, 28933 Móstoles, Spain 3 Institute for Biological Research “Sinisa Stankovic,” University of Belgrade, Bulevar despota Stefana 142, 11060 Belgrade, Serbia 4Biozentrum, Martin-Luther-Universität Halle-Witt...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008